Manuel V. Hermenegildo: przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (21)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Histórias de Terror da Idade Média (Clássicos do Horror Livro 7)

Histórias de Terror da Idade Média (Clássicos do Horror Livro 7)

Giovanni Boccaccio & Juan Manuel de Castela & Hermenegildo de Tancos & Anônimos Árabes [Boccaccio, Giovanni]

Rok:

2016

Język:

portuguese

Plik:

EPUB, 379 KB

0 / 5.0

portuguese, 2016

2

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Springer International Publishing

Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors)

Rok:

2017

Język:

english

Plik:

PDF, 11.58 MB

0 / 0

english, 2017

3

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 2.46 MB

0 / 0

english, 2000

4

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 5.29 MB

0 / 0

english, 2002

5

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 3.24 MB

0 / 0

english, 2000

6

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 4.28 MB

0 / 0

english, 2000

7

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 6.30 MB

0 / 0

english, 2002

8

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 2.34 MB

0 / 0

english, 2003

9

Logic programming: proceedings of the 1990 North American conference

Logic programming: proceedings of the 1990 North American conference

Saumya Debray, Manuel Hermenegildo (ed.)

Rok:

1990

Język:

english

Plik:

DJVU, 9.34 MB

0 / 0

english, 1990

10

Prolog: The Next 50 Years

Prolog: The Next 50 Years

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

Rok:

2023

Język:

english

Plik:

PDF, 25.08 MB

0 / 5.0

english, 2023

11

Prolog: The Next 50 Years

Prolog: The Next 50 Years

Springer Nature

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

Rok:

2023

Język:

english

Plik:

EPUB, 41.26 MB

0 / 0

english, 2023

12

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Gilles Barthe, Manuel Hermenegildo

Rok:

2010

Język:

english

Plik:

PDF, 4.07 MB

0 / 0

english, 2010

13

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Manuel Hermenegildo, Daniel Cabeza

Rok:

2005

Język:

english

Plik:

PDF, 8.33 MB

0 / 0

english, 2005

14

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 1.74 MB

0 / 0

english, 2003

15

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)

Rok:

1994

Język:

english

Plik:

DJVU, 4.36 MB

0 / 0

english, 1994

16

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Oege de Moor (auth.), Manuel Hermenegildo, S. Doaitse Swierstra (eds.)

Rok:

1995

Język:

english

Plik:

DJVU, 4.13 MB

0 / 0

english, 1995

17

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 5.07 MB

0 / 0

english, 2008

18

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 4.86 MB

0 / 0

english, 2008

19

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 5.09 MB

0 / 0

english, 2010

20

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)

Rok:

2005

Język:

english

Plik:

DJVU, 2.43 MB

0 / 0

english, 2005

21

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Manuel Hermenegildo, Daniel Cabeza

Rok:

2005

Język:

english

Plik:

PDF, 8.64 MB

0 / 0

english, 2005